*** empty log message ***

diff --git a/man/ChangeLog b/man/ChangeLog
index 1a667de4feec616ffbd7c9f0fee34534f4f4c30b..af7f6113beb1b77fe51c25c1033b68ab5a1f7515 100644 (file)
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -1,3 +1,7 @@
+2000-12-20  Eli Zaretskii  <eliz@is.elta.co.il>
+
+       * Makefile.in (../info/idlwave): Use --no-split.
+
 2000-12-14  Dave Love  <fx@gnu.org>
 
        * Makefile.in (mostlyclean): Remove gnustmp.*